741. Mathematical foundations of programming semantics : 9th International Conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings
پدیدآورنده: S. Brookes...]et al.[, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
802
742. Mathematical foundations of programming semantics: 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings
پدیدآورنده: S. Brookes...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
598
743. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده: M. Main...]et al.[, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
744. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
745. Mathematical logic and programming language
پدیدآورنده: Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
746. Mathematical logic and programming languages
پدیدآورنده: / edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
747. Mathematical logic and programming languages
پدیدآورنده: / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
748. Mc Graw- Hill Personal computer programming encyclopedia
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Microcomputers- Programming,Programming Languages (Electronic computers),Operating System (Computers)
رده :
QA
،
76
.
6
،.
M414
،
1985
749. McGraw-Hill personal computer programming encyclepedia: languages and operating systems
پدیدآورنده: William J. Birnes, editor;Nancy Hayfield, production editor
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Microcomputers,، Programming languages )Electronic computers(,، Operating systems )Computers(
رده :
QA
76
.
6
.
M414
1989
750. McGraw-Hill personal computer programming encyclopedia
پدیدآورنده: / edited by William Birnes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Microcomputers- Programming- Dictionaries,Programming languages (Electronic computers)- Dictionaries,Operating systems (Computer)- Dictionaries
رده :
QA76
.
6
.
M414
1989
R
751. McGraw-Hill personal computer programming encyclopedia: languages and operating systems
پدیدآورنده :
موضوع : ، Microcomputers-- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
752. McGraw-Hill personal computer programming encyclopedia languages and operating systems
پدیدآورنده: William J. Birnes, editor; Nancy Hayfield, production editor
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Microcomputers -- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
رده :
QA
76
.
6
.
M414
1985
753. McGraw- Hill personal computer programming encyclopedia : languages and operating systems
پدیدآورنده: William J. Birnes, editor ; William P. Woodall, technical editor ; Nancy Hayfield, production editor
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Microcomputers- Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
رده :
QA
76
.
6
.
M414
1989
754. McGraw-Hill personal computer programming encyclopedia : languages and operating systems
پدیدآورنده: William J. Birnes, editor ; William P. Woodall, technical editor ; Nancy Hayfield, production editor
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Microcomputers - Programming,، Programming languages )Electronic computers(,، Operating systems )Computers(
رده :
QA
76
.
6
.
M414
1989
755. Mcgraw-hill personal computer programming encyclopedia : languages and operating systems
پدیدآورنده: William J. Birnes, editor, Nancy Hayfield, production editor
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Microcomputers Programming, Programming languages )Electronic computers( , Operating systems )Computers(
رده :
QA
76
.
6
.
M42
1985
756. Mes premieres constructions de programmes
پدیدآورنده: Gerbier, A
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(,، Algorithms
رده :
QA
76
.
G47
757. Meta - Levels Architectures and Reflection
پدیدآورنده: Edited by Patie MAES, Daniele NARDI
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)
رده :
QA
،
76
.
7
،.
M48
،
1988
758. Meta-level architectures and reflection
پدیدآورنده: edited by Pattie Maes, Daniel Nardi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(
رده :
QA
76
.
7
.
M48
1988
759. Meta-level architectures and reflection : Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings
پدیدآورنده: Pierre Cointe )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Artificial intelligence,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
L28
Vol
.
1616
